Logic model

Results: 5700



#Item
471Complexity classes / Finite model theory / Logic / FO / Modal logic / HO

PDF Document

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2011-06-26 10:24:04
472Programming language theory / Model checking / Mathematical logic

PDF Document

Add to Reading List

Source URL: aplas12.kuis.kyoto-u.ac.jp

Language: English - Date: 2012-08-27 03:23:05
473

FORMATIVE ASSESSMENT FOR ATE COMMUNITY-BASED DESIGN OF PROJECT EVALUATION TOOLS/SYSTEMS Making a Logic Model that Works for You

Add to Reading List

Source URL: www.evalu-ate.org

Language: English - Date: 2014-10-18 17:17:54
    474

    A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words Colin Riba ENS de Lyon, Universit´e de Lyon, LIP∗

    Add to Reading List

    Source URL: perso.ens-lyon.fr

    Language: English - Date: 2013-01-22 07:43:47
      475

      Geometry of Interaction, part 2: Unification and exponentials Marc Bagnol September 6, 2013 In the previous episode, we saw a model of linear logic and its cut-elimination procedure based on “flows”: links between

      Add to Reading List

      Source URL: www.normalesup.org

      Language: English - Date: 2015-03-04 12:07:08
        476Logic model / Capacity building / Program evaluation / Evaluation methods / Evaluation / Sociology

        Characterising the EPODE Logic Model: Unravelling the past and informing the future Marije van Koperen1, Tommy Visscher2, Carolyn Summerbell3, Susan Jebb4, Monique Romon5, Jean Michel Borys6, Jaap Seidell1. 1VU 4MRC

        Add to Reading List

        Source URL: www.ciao-onderzoek.nl

        Language: English - Date: 2014-01-27 08:46:58
        477Cognition / Framing / Knowledge / Knowledge representation / Frame analysis / Logic model / Program evaluation / Evaluation methods / Evaluation / Science

        Services and Fees Outlined below are the typical products and services I provide for clients as part of contracted agreements, and estimated fees. This should not be interpreted as a menu of discrete options, however, as

        Add to Reading List

        Source URL: lynndavey.com

        Language: English - Date: 2015-05-07 08:35:12
        478Partial differential equation / Logic / Differential equations / Entailment

        DELFT UNIVERSITY OF TECHNOLOGY REPORTStability analysis for a peri-implant osseointegration model P.A. Prokharau, F.J. Vermolen

        Add to Reading List

        Source URL: www.ewi.tudelft.nl

        Language: English - Date: 2011-05-11 08:16:58
        479Symbol / Model theory / Rewriting / Datalog / FO / Theoretical computer science / Logic / Mathematics

        Efficient Query Rewriting in the Description Logic EL and Beyond ˙ Peter Hansen and Carsten Lutz and Inanc ¸ Seylan University of Bremen, Germany {hansen, clu, seylan}@informatik.uni-bremen.de

        Add to Reading List

        Source URL: www.informatik.uni-bremen.de

        Language: English - Date: 2015-05-04 02:34:23
        480Evaluation methods / Logic model / Temporary Assistance for Needy Families / Workforce development / Evaluation / Federal grants in the United States / Government / Sociology / Federal assistance in the United States / Grants / Public finance

        Workforce Innovation Fund Limited Competition Opportunity I. Background

        Add to Reading List

        Source URL: www.doleta.gov

        Language: English - Date: 2015-06-15 09:25:35
        UPDATE